1. Frontiers of Combining Systems
پدیدآورنده : Silvio Ghilardi, Roberto Sebastiani (Eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2009
2. Sheaves, Games, and Model Completions :
پدیدآورنده : by Silvio Ghilardi, Marek Zawadowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
رده :
QA169
.
B975
2002
3. Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics
پدیدآورنده : Ghilardi, Silvio
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Categories )Mathematics(,، Proposition )Logic(,، Model theory
رده :
QA
169
.
G474S5
